International Math Olympiad, Imo 2023, Problem 1